神戸大学システム工学科 情報数理研究室